<?php
	function timeGetMicrotime() {
		list($usec, $sec) = explode(" ",microtime()); 
		return $usec + $sec; 
	}
	
	function timeTimerStart($message) {
		global $timeTimerStart;
		print $message;
		$timeTimerStart = timeGetMicrotime();
	}
	
	function timeTimerStop() {
		global $timeTimerStart;
		$timeDiff = round(timeGetMicrotime()-$timeTimerStart, 3);
		print "finished in ".$timeDiff." seconds.\n";
	}
?>
